1. Data flow analysis
المؤلف: / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Compilers (Computer programs),Data flow computing.,Software engineering.,Computer software--Verification
رده :
QA
,
76
.
76
,.
C65
,
K54
,
2009
2. Data flow analysis :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;
3. Data flow analysis
المؤلف: Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.
4. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
المؤلف: Muller-Olm, Markus
المکتبة: (طهران)
موضوع: ، Compilers )Computer programs(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1283
5. Program logics for certified compilers /
المؤلف: Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
6. Verified software :
المؤلف: Ruzica Piskac, Philipp Rümmer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
